Nuprl Definition : error 13,42
??? == "error" 
latex

Upcore 2, core 2
Definitions"$token"

origin